$\forall$$s$:${\it kl}$:Knd$\times$IdLnk fp$\rightarrow$ (Id$\times$Top) List, $l$:IdLnk, ${\it tg}$:Id.
\\[0ex]sends{-}on{-}pair($s$;$l$;${\it tg}$) $\Leftrightarrow$ ($\exists$$k$:Knd. $\langle$$k$$,\,$$l$$\rangle$ $\in$ dom($s$) \& (${\it tg}$ $\in$ map($\lambda$$p$.1of($p$);$s$($\langle$$k$$,\,$$l$$\rangle$))))